Dynamic Construction of Generic Functions
نویسندگان
چکیده
. This paper presents a library for the run-time construction and specialisation of generic or polytypic functions. This library utilises the type information that is available in dynamics to implement generic functions on their values. The library closely follows the static generic framework, both in its use and in its implementation. It can dynamically construct generic operations ranging from equality, map and parsers to pretty printers and generic graphical editors. A special feature of the library is that it can also be used to derive meaningful specialisations of generic functions that operate on the type representation of the dynamic.
منابع مشابه
Convertible limited (multi-) verifier signature: new constructions and applications
A convertible limited (multi-) verifier signature (CL(M)VS) provides controlled verifiability and preserves the privacy of the signer. Furthermore, limited verifier(s) can designate the signature to a third party or convert it into a publicly verifiable signature upon necessity. In this proposal, we first present a generic construction of convertible limited verifier signature (CLVS) into which...
متن کاملThematization Strategies in the Generic Moves of Research Article Introductions
Despite the heterogeneity of ideas regarding the definitions of genre, there are also common instances shared among scholars interested in particular aspects of the notion. Swales (1990) and Bhatia (1993) are primarily interested in the sociological and psychological aspects of genre's functioning and construction, respectively.. Swales analyzes the genre of 'article introduction', into four ge...
متن کاملFeasibility study of new functions in ancient urban context in Shah Abbasi of Karaj
The city is a vibrant and dynamic creature whose body is shaped at different times by natural and social economic, political, cultural and economic developments. In a sound and healthy fashion, these developments are such that the old elements of the cities are restored to meet the new needs. In the structure and even in the destruction of these tissues. The purpose of this study was to investi...
متن کاملA General Dynamic Function for the Basal Area of Individual Trees Derived from a Production Theoretically Motivated Autonomous Differential Equation
The management of forests may be motivated from production economic and environmental perspectives. The dynamically changing properties of trees affect environmental objectives and values of trees as raw material in the construction sector and in the energy sector. In order to optimize the management of forests, it is necessary to have access to reliable functions that predict how trees develop...
متن کاملGeneric properties for two-dimensional dynamic systems
This paper studies the concept of genericity for two dimensional dynamic systems. The basic model is the differential model, proposed by S. Smale, of constructing generic properties for diffeomorphisms defined on compact varieties . The generic property concept for dynamic systems defined on an open set G, is proposed. The aim of the construction is to test the conditions for which, in two-dime...
متن کامل